
public class HorlogeLamport 
 {
  private int compteur;
  private Process process;

  public HorlogeLamport (Process _process) 
   {
    this.process = _process;
    this.compteur = 0;
   }
    
  public void incrementeHorloge ()
   {
    compteur++;
   }
    
  public void incrementeHorloge (int valeur)
   {
    compteur = Math.max (compteur, valeur)+1;
   }   
    
  public int getCompteur()
   {
    return this.compteur;
   }
 }
